English translation for "denotational semantics"

标志语意
标志语义
完全抽象
指称语义学

Related Translations:

denotational setting:  标志设定

denotational description:  标志描述

denotational semantics method:  标志语意方法

denotational semantics language:  标志语意语言

operational semantics:  操作语义运算语义

declarative semantics:  宣告语意

semantics evaluation:  语义学评价

computational semantics:  计算语意学计算语义学

situation semantics:  情境语意学情境语义学

programming semantics:  程序设计语义学

Example Sentences:

	1.	The study of denotational semantics of vhdl 西方语言哲学研究的现状与前景
	2.	Equivalence proving of operational and denotational semantics about repeat - until statement 语句的操作语义与指称语义的等价性证明
	3.	It is shown that the proposed refinement approaches have the commonly expected properties : the behaviour of the refined process can be inferred compositionally from the behaviour of the original process and from the behaviour of the processes substituted for actions ; the timed extensions of pomset partially ordered multiset trace equivalence and history preserving bisimulation equivalence are both congruences under the refinement ; the syntactic and semantic refinements coincide up to the aforementioned equivalence relations with respect to a cpo - based denotational semantics 然而，对于并发系统来说，时间指标是一个至关重要的因素，很多现实生活中的并发系统都跟时间密切相关，另外，紧急事件在实时并发系统中也是常见的现象，在已研究的动作精化理论当中紧急事件都仅仅只限于用来模拟超时事件，并且是不能被精化的，这对于很多现实系统来说是一个很大的限制。
	4.	The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc , dfo , dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics 主要内容包括:变形传统的演算,以更好地描述具有动态模糊性的问题;通过bnf描述了dfl程序设计语言的抽象语法;通过一个三元组< dfsc , dfo , dfss >给出了dfl程序设计语言的操作语义模型;给出了dfl程序设计语言的基本框架结构;给出了该操作语义模型的一些应用实例;通过hoare逻辑和基本指称语义对本文所定义的操作语义模型的正确性和可靠性进行了证明。由此可见,本文从全新的角度定义了一种可以处理动态模糊问题的程序设计语言。

Similar Words：

"denotation dictionary" English translation, "denotation directory" English translation, "denotation impulse" English translation, "denotation token" English translation, "denotational description" English translation, "denotational semantics language" English translation, "denotational semantics method" English translation, "denotational setting" English translation, "denotative" English translation, "denotative definition" English translation